A Method for Implementation Description Logic Reasoner

This paper presents implementation details of an ALC (Attribute Language with Complement) description logic reasoner based on a model-engineering technology, called Model Driven Architecture (MDA). Some publicly available reasoners are successfully implemented in object-oriented technology or in LISP programming language, but reasoners do not respect software engineering standards, and their authors did not describe models of the reasoners in a standard (i.e. Unified Modeling Language UML) notation. In this paper we briefly describe basic characteristics of MDA, give the definition of syntax and semantics of ALC description logic, and describe basic reasoning techniques in that logic. Then we outline a method for development an ALC description logic reasoner using MDA standards.